computability logic
[网络] 可计算性逻辑
热门查询
- reformist n. 改革者；改革主义者 adj. 改良主义的；改良运动的
- Pereira 佩雷拉[哥伦比亚中西部城市](咖啡产地和养牛业中心) , bark巴西边子木树皮(旧时治疗疟疾用)
- hereafter n. 将来；来世 adv. 今后，从此以后
- sportswear n. 运动装；休闲服
- gloucester n. 格洛斯特（英国西南部的港市）；格洛斯特硬干酪（产于英国）
- when conj. 考虑到；既然；当…时；在…时；如果 n. 时间，时候；日期；场合 adv. 什么时候，何时；（用于时间的表达方式之后）在那时；其时；当时 pron. 那时；什么时侯
- touchback n. 持球触地
- jackbooted a. 穿长统靴(半统军靴)的；与长统靴相搭配的; 好斗的；侵略的；粗暴的, 残暴的
- dean n. 院长；系主任；教务长；主持牧师
- worldview n. 世界观
- schoolwork n. 家庭作业；学校作业
- bemusement n. 困惑
- Open University un. 开放大学 [网络] 英国开放大学；英国公开大学；英国空中大学
- prolongation n. 延伸；延长部分；[经] 延期
- kindly adv. 亲切地；温和地；仁慈地 adj. 亲切的；和蔼的；体贴的；爽快的
- bauhaus n. 鲍豪斯建筑学派（德国建筑之一派）；鲍豪斯（德国人名）
- biophysical 生物物理学的
- geddit n. <英><非正>懂吗（开玩笑或讽刺的意味）
- Augustinian n. 奥古斯丁修会会士 adj. 奥古斯丁的
- mitre n. 斜接；主教法冠；僧帽 vt. 将…斜接 vi. 斜接 n. (Mitre)人名；(西、罗)米特雷；(英)迈特；(法)米特
考试词汇表
- engineering capability
- engineering change log
- engineering compromise
- engineering contractor
- engineering curriculum
- engineering deficiency
- engineering department
- engineering discipline
- engineering economists
- engineering elasticity
- engineering evaluation
- engineering experiment
- engineering facilities
- engineering flow sheet
- engineering geological
- engineering geophysics
- engineering hydraulics
- engineering kinematics
- engineering laboratory
- engineering management
